#ifndef LIMITS_H_
#define LIMITS_H_

// max number of concepts
#define MAX_CONCEPT_COUNT		500000

// max number of roles
#define MAX_ROLE_COUNT			50000

// max number of axioms
#define MAX_AXIOM_COUNT			500000
// max number of subclass axioms	
// #define MAX_SUBCLASS_AX_COUNT		500000

// max number of eqclass axioms	
// #define MAX_EQCLASS_AX_COUNT		500000

// max number of conjuncts for a conjunction
#define MAX_CONJUNCT_COUNT		32

// max size of a role composition
#define MAX_ROLE_COMPOSITION_SIZE	20

// max number of alternating nested exist restrictions and conjunctions
// needed for flattenning in the parser
#define MAX_CONJ_EXISTS_ALTERNATION	30

// max number of CPU cores
#define MAX_CORE_COUNT			16

// max number of normalized axioms per thread
#define MAX_NORMALIZED_AX_PER_THREAD	MAX_AXIOM_COUNT
#endif
